Home > Search Results: keywords:"DRl-monoid"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
States on algebras
 Štěpánová, Martina
States on algebras Abstract: States are defined as special cases of a mapping into a set of real numbers. In the thesis, we intro- duce states on ordered Abelian groups, many valued algebras (MV-algebras), generalized many valued algebras (GMV-algebras) and commutative dually residuated lattice ordered monoids (commutative DRl-monoids). We describe some properties of above-mentioned algebras and present a connection among them. For example, GMV-algebras (an algebraic counterpart of the non-commutative infinite valued propositional logic) are a non-commutative generalization of MV-algebras (an algebraic analogy of the Łukasiewicz infinite valued propositional logic) and we can obtain MV-algebras as special cases of DRl-monoids. Existence theorems for states, con- ditions for the uniqueness of states and formulas for the ranges of values of states are introduced here.
Detailed record
States on algebras
 Štěpánová, Martina
States on algebras Abstract: States are defined as special cases of a mapping into a set of real numbers. In the thesis, we intro- duce states on ordered Abelian groups, many valued algebras (MV-algebras), generalized many valued algebras (GMV-algebras) and commutative dually residuated lattice ordered monoids (commutative DRl-monoids). We describe some properties of above-mentioned algebras and present a connection among them. For example, GMV-algebras (an algebraic counterpart of the non-commutative infinite valued propositional logic) are a non-commutative generalization of MV-algebras (an algebraic analogy of the Łukasiewicz infinite valued propositional logic) and we can obtain MV-algebras as special cases of DRl-monoids. Existence theorems for states, con- ditions for the uniqueness of states and formulas for the ranges of values of states are introduced here.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English